Formal Methods in System Design 15, 7–c 1999 Kluwer Academic Publishers. Manufactured in The Netherlands. ° Reactive Modules∗ RAJEEV ALUR

Source URL: www.cis.upenn.edu

FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS ´ KOUSHA ETESSAMI, RAJEEV ALUR, MARCELO ARENAS, PABLO BARCELO, NEIL IMMERMAN, AND LEONID LIBKIN Department of Computer and Information Science, University of Pennsylvania

Source URL: users.dcc.uchile.cl

Syntax-Guided Synthesis Rajeev ALUR a , Rastislav BODIK b , Eric DALLAL c , Dana FISMAN a , Pranav GARG d , Garvit JUNIWAL b , Hadas KRESS-GAZIT e , P. MADHUSUDAN d , Milo M. K. MARTIN a , Mukund RAGHOTHAMAN a , Shamwadi

Source URL: sygus.seas.upenn.edu

• Predicate logic
• Theoretical computer science
• Formal methods
• NP-complete problems
• First-order logic
• Satisfiability Modulo Theories
• Expression
• Type system
• Function
• Mathematics
• Logic
• Mathematical logic

Automated Grading of DFA Constructions ∗ Rajeev Alur and Loris D’Antoni Sumit Gulwani Dileep Kini and Mahesh Viswanathan Department of Computer Science Microsoft Research Department of Computer Science

Source URL: www.cis.upenn.edu

Representation Dependence Testing using Program Inversion Aditya Kanade Rajeev Alur

Source URL: www.cis.upenn.edu

Symbolic Analysis for Improving Simulation Coverage of Simulink/Stateflow Models Rajeev Alur Aditya Kanade

Source URL: www.cis.upenn.edu

Quantifying the gap between embedded control models and time-triggered implementations Hakan Yazarel, Antoine Girard, George J. Pappas, Rajeev Alur University of Pennsylvania Philadelphia, PAUSA {hakan,agirard,pap

Source URL: www.cis.upenn.edu

130 Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement
Sebastian Burckhardt, Rajeev Alur, and Milo M.K. Martin

Source URL: www.cis.upenn.edu

Regular Specifications of Resource Requirements for Embedded Control Software Rajeev Alur and Gera Weiss University of Pennsylvania Abstract

Source URL: www.cis.upenn.edu

A Model-Based Approach to Integrating Security Policies for Embedded Devices Michael McDougall Rajeev Alur

Source URL: www.cis.upenn.edu